A formal system in mathematical logic for expressing statements using quantifiers, variables, and predicates.

गणितीय तर्क में प्रयोग किया जाने वाला एक औपचारिक प्रणाली।

English Usage: The mathematician used predicate calculus to prove the theorem.

Hindi Usage: गणितज्ञ ने प्रमेय साबित करने के लिए गणितीय तर्क का उपयोग किया।